A group G is solvable group if it has a series of subgroups
{e} = H1 ⊂ H2 ⊂ … ⊂ Hk = G, where for each 0 ≤ i < k, Hi is normal in Hi + 1 and Hi + 1/Hi is Abelian.